$\forall$$p$:FinProbSpace. Normal(Outcome)